operational tripping - German English Dictionary